Nuprl Definition : so_lambda1
13,42
postcript
pdf
(
x
.
t
(
x
))(
x
) ==
t
(
x
)
latex
Up
core
2
,
core
2
Definitions
x
.
A
(
x
)
origin
x. t(x))(x) == t(x) x. t(x))(x) == t(x) x.A(x)